| Portugiesisch | Deutsch |
|---|---|
| Classificação Goldschmidt | Goldschmidt-Klassifikation |
| Zufällige Übersetzungen | |
|---|---|
| Ponte da Unidade |
Unity Bridge |
|
Camboja |
Kambodscha |
|
CobiT |
COBIT |
| Isomorfismo de Curry-Howard |
Curry-Howard-Isomorphismus |